1

Associative-commutative reduction orderings

Year:
1992
Language:
english
File:
PDF, 597 KB
english, 1992
2

Completion for rewriting modulo a congruence

Year:
1989
Language:
english
File:
PDF, 886 KB
english, 1989
3

Editorial

Year:
1991
Language:
english
File:
PDF, 94 KB
english, 1991
4

Termination orderings for associative-commutative rewriting systems

Year:
1985
Language:
english
File:
PDF, 1.31 MB
english, 1985
5

Critical pair criteria for completion

Year:
1988
Language:
english
File:
PDF, 1023 KB
english, 1988
7

Abstract Congruence Closure

Year:
2003
Language:
english
File:
PDF, 277 KB
english, 2003
10

Equational inference, canonical proofs, and proof orderings

Year:
1994
Language:
english
File:
PDF, 2.73 MB
english, 1994
11

Ordered chaining calculi for first-order theories of transitive relations

Year:
1998
Language:
english
File:
PDF, 273 KB
english, 1998